#include <user/ulib.h>


void
input_dispatch()
{
	 // set_user_service(?, self_idx);
	 uint32_t idx, num;
	 struct pipe_t *in_pipe, *out_pipe;

	 out_pipe = pipe_open(service_callback);
	 uint32_t zero = 0;
	 pipe_block_write(out_pipe, &zero, sizeof(uint32_t));
	 pipe_close(out_pipe);

	 char c;
	 uint32_t n;
	 
	 while (1) {
		  wait_irq(1);
	 }
}

void
input_entry()
{
	 input_dispatch();
}
